- 完全性定理
- theorem: n. 1.(能证明的)一般原理，公理，定律，法则。 2. ...
- godel completeness theorem: 哥德尔完全性定理
- completeness: 完备性; 完成度; 完全程度; 完全度; 完全性; 完善度; 完整性
- s theorem: 贝叶斯定理
- theorem: n. 1.(能证明的)一般原理，公理，定律，法则。 2.【数学】定理。 -matic , -matical adj.,-ically adv.
下载手机词典可随时随地查词查翻译
completeness theorem中文什么意思
- 完全性定理
下载手机词典可随时随地查词查翻译
例句与用法
- Two completeness theorems set - valued stochastic analysis
集值随机分析中的两个完备性定理 - An algebraic proof of completeness theorem of first - order logic
一阶逻辑完备性定理的代数证明 - This paper discusses the system mpm and mfm , constructs the normal form theories of mpm and its tableau system . the soundness and completeness theorem of the tableau system are also given
本文建立了mp ~ m系统的范式理论，构造了其表推演系统，并证明了其可靠性和完备性。 - In this thesis , the author just discusses horn clause sets , and gives how to transform horn clause set into neural network . go a step further , the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle , and proves completeness theorem and soundness theorem of the algorithm for resolution
本文将所讨论的子句集限制在horn子句集上，给出了horn子句集转化为一个神经网络模型的方法，进j一步，对如何构造该神经网络的学习算法来体现归结过程进行了讨论，并证明了此学习算法用于归结原理的可靠性和完备性。